$\forall$${\it es}$:event\_system\{i:l\}, $e_{2}$,$e_{1}$:es{-}E(${\it es}$). es{-}le(${\it es}$; $e_{1}$; $e_{2}$) $\Rightarrow$ sqequal(last([$e_{1}$, $e_{2}$]); $e_{2}$)